VDict mobile



f^n bottom | n = 0..infinity not found. Suggestions:

minus infinity
continuous function
coalesced sum
tuple
strict
bottom-unique
partial ordering
wrap around
lifted domain
infinity